A Multi-Agent System Formalization in Mobile Environments
نویسنده
چکیده
This paper models and formalizes a mobile logic programming multi-agent system (MLPMAS) for mobile environments. Such a system consists of a number of agents connected via wire or wireless communication channels. Agents communicate with each other via passing answer sets obtained by updating the information received from connected agents with their own private information. The interactions between agents are also modeled in this formalization. Based on this model, knowledge based transaction can be studied in such a mobile multi-agent system. In addition, knowledge transaction is formally defined and modeled for these mobile multi-agent systems.
منابع مشابه
A Mobile Logic Programming Multi-Agent System
In this paper, we present a formalization for a logic programming multi-agent system in mobile environments. Such a system consists of a number of agents connected via wire or wireless communication channels, and we model the interactions between agents in our formalization. Agents communicate with each other by passing answer sets obtained by updating the information received from connected ag...
متن کاملKnowledge Transactions in Mobile Environments
Knowledge transaction processing is a very new research area in mobile environments. The main goal of this chapter is to explore and study knowledge representation, reasoning, and transactions in mobile environments. As the outcome of the discussion, this chapter presents and formalizes a knowledge transaction language and model for use in mobile computing environments. In addition, this resear...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملCooperative Control of Mobile Robots in Creating a Runway Platform for Quadrotor Landing
Multi-agent systems are systems in which several agents accomplish a mission in a cooperative manner. In this paper, a novel idea for the construction of a movable runway platform based on multi-agent systems is presented. It is assumed that an aerial agent (quadrotor) decides to make an emergency landing due to reasons such as a decrease in energy level or technical failure, while there is no ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007